\documentclass[twoside,twocolumn]{algol60}
%\documentclass[twoside]{algol60}


\pagestyle{headings}
\showboxdepth=0
\makeindex
\input{commands}
\input{semantics-commands}

\texonly
\externaldocument[lib:]{r6rs-lib}
\endtexonly

\usepackage[utf8]{inputenc}
\usepackage{CJKutf8}


% refer http://elegantlatex.org/2014/11/25/latex-pdf-cjk-bookmarks/
% 解决书签乱码
\usepackage{hyperref}
\hypersetup{unicode}

\def\headertitle{Scheme第$^{\rnrsrevision}$次修订简体中文翻译}
\def\TZPtitle{算法语言Scheme修订^\rnrsrevision{}报告}

\begin{document}
\begin{CJK*}{UTF8}{gbsn}

\thispagestyle{empty}

\topnewpage[{
\begin{center}   {\huge\bf
    算法语言Scheme修订
    {\Huge$^{\mathbf{\htmlonly\tiny\endhtmlonly{}\rnrsrevision}}$}报告}

\vskip 1ex
$$
\begin{tabular}{l@{\extracolsep{.5in}}lll}
\multicolumn{4}{c}{M\authorsc{ICHAEL} S\authorsc{PERBER}}
\\
\multicolumn{4}{c}{R.\ K\authorsc{ENT} D\authorsc{YBVIG},
  M\authorsc{ATTHEW} F\authorsc{LATT},
  A\authorsc{NTON} \authorsc{VAN} S\authorsc{TRAATEN}}
\\
\multicolumn{4}{c}{(\textit{编辑})} \\
\multicolumn{4}{c}{
  R\authorsc{ICHARD} K\authorsc{ELSEY}, W\authorsc{ILLIAM} C\authorsc{LINGER},
  J\authorsc{ONATHAN} R\authorsc{EES}} \\
\multicolumn{4}{c}{(\textit{编辑，算法语言Scheme修订\itspace{}$^5$报告})} \\
\multicolumn{4}{c}{
  R\authorsc{OBERT} B\authorsc{RUCE} F\authorsc{INDLER}, J\authorsc{ACOB} M\authorsc{ATTHEWS}} \\
\multicolumn{4}{c}{(\textit{作者，形式语义})} \\[1ex]
\multicolumn{4}{c}{\bf \rnrsrevisiondate} \\
\multicolumn{4}{c}{\href{mailto:r6rs@mrliu.org}{J\authorsc{KS} L\authorsc{IU}}} \\
\multicolumn{4}{c}{(\textit{译者})} \\
\multicolumn{4}{c}{反馈：\url{https://github.com/jks-liu/R6RS.zh-cn}} \\
\multicolumn{4}{c}{Compiled on {\bf \today}}
\end{tabular}
$$



\end{center}

\chapter*{摘要}
\medskip

{\parskip 1ex

报告给出了程序设计语言Scheme的定义性描述。Scheme是由Guy Lewis Steele Jr.和Gerald Jay Sussman设计的具有静态作用域和严格尾递归特性的Lisp程序设计语言的方言。它的设计目的是以异常清晰，语义简明和较少表达方式的方法来组合表达式。包括函数（functional）式，命令（imperative）式和消息传递（message passing）式风格在内的绝大多数程序设计模式都可以用Scheme方便地表述。

和本报告一起的还有一个描述标准库的报告~\cite{R6RS-libraries}；用描述符“库的第多少小节（library section）”或“库的第多少章（library chapter）”来识别此文档的引用。和它一起的还有一个包含非规范性附录的报告~\cite{R6RS-appendices}。第四次报告在语言和库的许多方面阐述了历史背景和基本原理~\cite{R6RS-rationale}。

\medskip

上面列到的人不是这篇报告文字的唯一作者。多年来，下面这些人也参与到Scheme语言设计的讨论中，我们也将他们列为之前报告的作者：

Hal Abelson，Norman Adams，David Bartley，Gary Brooks，William Clinger，R. Kent Dybvig，Daniel Friedman，Robert Halstead，Chris Hanson，Christopher Haynes，Eugene Kohlbecker，Don Oxley，Kent Pitman，Jonathan Rees，Guillermo Rozas，Guy L. Steele Jr.，Gerald Jay Sussman和Mitchell Wand。

为了突出最近的贡献，他们没有被列为本篇报告的作者。然而，他们的贡献和服务应被确认。

\medskip

我们认为这篇报告属于整个Scheme社区，并且我们授权任何人复制它的全部或部分。我们尤其鼓励Scheme的实现者使用本报告作为手册或其它文档的起点，必要时也可以对它进行修改。
}

\bigskip

\input{status}
}]

\texonly\clearpage\endtexonly

\chapter*{目录}
\addvspace{3.5pt}                  % don't shrink this gap
\renewcommand{\tocshrink}{-4.0pt}  % value determined experimentally
{
\tableofcontents
}

\vfill
\eject


\input{intro}   \par
\vskip 2ex
\clearchaptergroupstar{语言描述} %\unskip\vskip -2ex
\input{struct}  \par
\input{mustard} \par
\input{numbers} \par
\input{lex}     \par
\input{basic}   \par
\input{entry} \par
\input{library} \par
\input{programs} \par
\input{syntax} \par
\input{expansion} \par
\input{base}    \par
\clearchaptergroupstar{Appendices}
\appendix
\chapter{Formal semantics}
\label{formalsemanticschapter}
\input{semantics} \par
\input{derived} \par
\input{repository} \par
\input{example} \par
\input{changes} \par
\newpage
\renewcommand{\bibname}{References}

\bibliographystyle{plain}
\bibliography{abbrevs,rrs}

\vfill\eject


\newcommand{\indexheading}{Alphabetic index of definitions of
  concepts, keywords, and procedures}
\texonly
\newcommand{\indexintro}{The index includes entries from the library
  document; the entries are marked with ``(library)''.}
\endtexonly

\printindex

\clearpage\end{CJK*}                              % if you are typesetting your resume in Chinese using CJK; the \clearpage is required for fancyhdr to work correctly with CJK, though it kills the page numbering by making \lastpage undefined
\end{document}
